1![Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia) Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia)](https://www.pdfsearch.io/img/04272b03979db34918aa35885740c2f5.jpg) | Add to Reading ListSource URL: ssll.cecs.anu.edu.auLanguage: English - Date: 2009-01-19 22:49:26
|
---|
2![Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia) Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia)](https://www.pdfsearch.io/img/5fd9210c8a348905ae403719444d80a1.jpg) | Add to Reading ListSource URL: ssll.rsise.anu.edu.auLanguage: English - Date: 2009-01-19 22:49:26
|
---|
3![Interpolating Quantifier-Free Presburger Arithmetic Daniel Kroening1 , Jérôme Leroux2 , and Philipp Rümmer1 1 2 Oxford University Computing Laboratory, United Kingdom Interpolating Quantifier-Free Presburger Arithmetic Daniel Kroening1 , Jérôme Leroux2 , and Philipp Rümmer1 1 2 Oxford University Computing Laboratory, United Kingdom](https://www.pdfsearch.io/img/1bacf16427400b2ef0b434c34d94a342.jpg) | Add to Reading ListSource URL: www.labri.frLanguage: English - Date: 2014-03-17 06:03:49
|
---|
4![J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version](https://www.pdfsearch.io/img/6a666730e33a098200402aea61c690eb.jpg) | Add to Reading ListSource URL: www.labri.frLanguage: English - Date: 2014-03-17 06:03:51
|
---|
5![Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow](https://www.pdfsearch.io/img/d4adaf6fd9f13effd10636cf5b4122e6.jpg) | Add to Reading ListSource URL: www.dagstuhl.deLanguage: English - Date: 2010-04-21 04:49:56
|
---|
6![On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively](https://www.pdfsearch.io/img/65ac79381addf136c333681e7c836d7d.jpg) | Add to Reading ListSource URL: alpha.uhasselt.beLanguage: English - Date: 2013-09-27 07:35:34
|
---|
7![(UN)DECIDABLITY Undecidable: predicate calculus, Peano arithmetic (Church) Decidable: • Presburger arithmetic (Presburger) • Elementary theory of the ordered field R (Tarski) (UN)DECIDABLITY Undecidable: predicate calculus, Peano arithmetic (Church) Decidable: • Presburger arithmetic (Presburger) • Elementary theory of the ordered field R (Tarski)](https://www.pdfsearch.io/img/ceec43426f9bc76b95c4ef4c45cc43e2.jpg) | Add to Reading ListSource URL: www.mathematik.uni-muenchen.de- Date: 2008-12-22 16:55:21
|
---|
8![Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan†](https://www.pdfsearch.io/img/ac484ec84891edda6bd950ef60e38b1f.jpg) | Add to Reading ListSource URL: alpha.uhasselt.beLanguage: English - Date: 2014-07-02 10:40:42
|
---|
9![Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland](https://www.pdfsearch.io/img/48cace161bc050dece3a807cc76268fc.jpg) | Add to Reading ListSource URL: lara.epfl.chLanguage: English - Date: 2009-11-10 09:06:44
|
---|
10![On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2](https://www.pdfsearch.io/img/c57465d7038dd5a182e36ad6086494af.jpg) | Add to Reading ListSource URL: lara.epfl.chLanguage: English - Date: 2009-02-02 09:55:31
|
---|